Nuprl Definition : inc-snd
11,40
postcript
pdf
inc-snd(
p
) == let
i
,
j
=
p
in <
i
,
j
+ 1>
latex
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
,
<
a
,
b
>
,
n
+
m
,
#$n
FDL editor aliases
inc-snd
origin